[next] [prev] [prev-tail] [tail] [up]

2.2.10 Integrals 901 to 1000

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 901

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

153 153 472 247 0 657 0 287 2500

N.S.

1 1.00 3.08 1.61 0.00 4.29 0.00 1.88 16.34

time (sec)

N/A 0.325 2.742 0.297 0.000 31.285 0.000 0.512 12.100

Problem 902

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

106 106 365 152 0 482 0 180 2500

N.S.

1 1.00 3.44 1.43 0.00 4.55 0.00 1.70 23.58

time (sec)

N/A 0.166 2.559 0.243 0.000 8.448 0.000 0.523 11.156

Problem 903

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) A F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

94 94 261 119 0 372 0 149 2500

N.S.

1 1.00 2.78 1.27 0.00 3.96 0.00 1.59 26.60

time (sec)

N/A 0.126 0.555 0.234 0.000 5.927 0.000 0.498 15.577

Problem 904

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 92 119 0 336 0 146 2500

N.S.

1 1.00 0.94 1.21 0.00 3.43 0.00 1.49 25.51

time (sec)

N/A 0.163 0.240 0.172 0.000 4.226 0.000 0.480 8.376

Problem 905

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 131 180 0 454 0 239 2500

N.S.

1 1.00 0.90 1.24 0.00 3.13 0.00 1.65 17.24

time (sec)

N/A 0.323 0.460 0.347 0.000 3.592 0.000 0.451 12.197

Problem 906

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

205 205 178 275 0 599 0 424 2500

N.S.

1 1.00 0.87 1.34 0.00 2.92 0.00 2.07 12.20

time (sec)

N/A 0.530 0.638 0.392 0.000 4.808 0.000 0.479 13.191

Problem 907

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

276 276 235 456 0 765 0 801 2500

N.S.

1 1.00 0.85 1.65 0.00 2.77 0.00 2.90 9.06

time (sec)

N/A 0.779 0.865 0.483 0.000 3.723 0.000 0.486 15.016

Problem 908

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

407 407 605 492 0 1835 0 627 2500

N.S.

1 1.00 1.49 1.21 0.00 4.51 0.00 1.54 6.14

time (sec)

N/A 1.243 4.230 1.381 0.000 146.178 0.000 0.537 17.878

Problem 909

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

312 312 519 365 0 1505 0 428 2500

N.S.

1 1.00 1.66 1.17 0.00 4.82 0.00 1.37 8.01

time (sec)

N/A 0.894 3.226 1.227 0.000 125.335 0.000 0.503 17.546

Problem 910

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) B F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

177 177 382 261 0 1156 0 443 2500

N.S.

1 1.00 2.16 1.47 0.00 6.53 0.00 2.50 14.12

time (sec)

N/A 0.454 3.203 0.848 0.000 54.359 0.000 0.498 14.164

Problem 911

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

148 148 356 200 0 728 0 250 2500

N.S.

1 1.00 2.41 1.35 0.00 4.92 0.00 1.69 16.89

time (sec)

N/A 0.234 3.301 0.681 0.000 12.999 0.000 0.534 13.125

Problem 912

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F A B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

138 138 299 181 0 593 0 222 2500

N.S.

1 1.00 2.17 1.31 0.00 4.30 0.00 1.61 18.12

time (sec)

N/A 0.185 2.424 0.299 0.000 3.193 0.000 0.498 13.317

Problem 913

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

202 202 160 228 0 826 0 1240 2500

N.S.

1 1.00 0.79 1.13 0.00 4.09 0.00 6.14 12.38

time (sec)

N/A 0.457 1.019 0.401 0.000 3.715 0.000 0.614 9.851

Problem 914

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

298 298 206 300 0 1102 0 380 2500

N.S.

1 1.00 0.69 1.01 0.00 3.70 0.00 1.28 8.39

time (sec)

N/A 0.888 1.512 0.506 0.000 3.044 0.000 0.502 15.973

Problem 915

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

396 396 255 397 0 1347 0 564 2500

N.S.

1 1.00 0.64 1.00 0.00 3.40 0.00 1.42 6.31

time (sec)

N/A 1.271 1.849 0.566 0.000 3.832 0.000 0.509 17.678

Problem 916

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) F(-1) F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

465 465 1124 554 0 0 0 1740 2500

N.S.

1 1.00 2.42 1.19 0.00 0.00 0.00 3.74 5.38

time (sec)

N/A 3.532 6.471 2.373 0.000 0.000 0.000 0.632 21.044

Problem 917

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

323 323 492 430 0 2217 0 705 2500

N.S.

1 1.00 1.52 1.33 0.00 6.86 0.00 2.18 7.74

time (sec)

N/A 2.134 2.880 1.733 0.000 169.574 0.000 0.602 17.606

Problem 918

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

242 242 514 364 0 1501 0 632 2500

N.S.

1 1.00 2.12 1.50 0.00 6.20 0.00 2.61 10.33

time (sec)

N/A 0.678 6.125 1.283 0.000 53.992 0.000 0.593 15.912

Problem 919

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

202 202 410 268 0 848 0 510 280

N.S.

1 1.00 2.03 1.33 0.00 4.20 0.00 2.52 1.39

time (sec)

N/A 0.334 4.616 0.570 0.000 2.854 0.000 0.556 7.837

Problem 920

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

229 229 793 345 0 1237 0 606 2500

N.S.

1 1.00 3.46 1.51 0.00 5.40 0.00 2.65 10.92

time (sec)

N/A 0.563 6.834 0.559 0.000 2.887 0.000 0.539 17.181

Problem 921

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

330 330 1015 398 0 1680 0 667 2500

N.S.

1 1.00 3.08 1.21 0.00 5.09 0.00 2.02 7.58

time (sec)

N/A 2.193 7.138 0.706 0.000 2.983 0.000 0.558 11.075

Problem 922

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

453 453 881 487 0 2127 0 3408 2500

N.S.

1 1.00 1.94 1.08 0.00 4.70 0.00 7.52 5.52

time (sec)

N/A 3.491 4.972 0.493 0.000 4.302 0.000 0.933 21.932

Problem 923

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) F(-1) F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

470 470 1197 679 0 0 0 1264 2500

N.S.

1 1.00 2.55 1.44 0.00 0.00 0.00 2.69 5.32

time (sec)

N/A 8.205 6.503 1.165 0.000 0.000 0.000 0.578 20.923

Problem 924

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

358 358 1302 584 0 2466 0 1135 2500

N.S.

1 1.00 3.64 1.63 0.00 6.89 0.00 3.17 6.98

time (sec)

N/A 1.740 7.432 1.307 0.000 135.842 0.000 0.567 19.093

Problem 925

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

314 314 299 453 0 1420 0 970 516

N.S.

1 1.00 0.95 1.44 0.00 4.52 0.00 3.09 1.64

time (sec)

N/A 0.752 1.618 0.533 0.000 2.797 0.000 0.603 7.698

Problem 926

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

299 299 538 452 0 1414 0 968 516

N.S.

1 1.00 1.80 1.51 0.00 4.73 0.00 3.24 1.73

time (sec)

N/A 0.622 7.372 0.514 0.000 2.660 0.000 0.577 8.398

Problem 927

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

336 336 1230 565 0 2056 0 1106 2500

N.S.

1 1.00 3.66 1.68 0.00 6.12 0.00 3.29 7.44

time (sec)

N/A 1.471 7.957 0.474 0.000 3.267 0.000 0.583 18.655

Problem 928

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F B B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

471 471 1367 646 0 2766 0 1225 2500

N.S.

1 1.00 2.90 1.37 0.00 5.87 0.00 2.60 5.31

time (sec)

N/A 8.208 8.304 0.612 0.000 3.144 0.000 0.589 13.119

Problem 929

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

648 648 658 771 0 3454 0 1438 2500

N.S.

1 1.00 1.02 1.19 0.00 5.33 0.00 2.22 3.86

time (sec)

N/A 10.808 7.053 0.728 0.000 3.581 0.000 0.575 27.988

Problem 930

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 24 23 40 0 45 73 53 258

N.S.

1 1.00 0.96 1.67 0.00 1.88 3.04 2.21 10.75

time (sec)

N/A 0.016 0.014 0.066 0.000 2.159 2.259 0.526 4.217

Problem 931

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 76 81 0 285 0 309 1169

N.S.

1 1.00 1.01 1.08 0.00 3.80 0.00 4.12 15.59

time (sec)

N/A 0.111 0.218 0.129 0.000 2.831 0.000 0.480 7.945

Problem 932

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 211 182 0 714 0 223 2500

N.S.

1 1.00 1.51 1.30 0.00 5.10 0.00 1.59 17.86

time (sec)

N/A 0.291 0.899 0.228 0.000 3.912 0.000 0.544 12.863

Problem 933

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

231 231 302 317 0 1443 0 515 2500

N.S.

1 1.00 1.31 1.37 0.00 6.25 0.00 2.23 10.82

time (sec)

N/A 0.794 1.896 0.362 0.000 4.808 0.000 0.626 11.824

Problem 934

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

336 336 1097 526 0 2408 0 860 2500

N.S.

1 1.00 3.26 1.57 0.00 7.17 0.00 2.56 7.44

time (sec)

N/A 3.178 5.452 0.546 0.000 5.031 0.000 0.666 16.749

Problem 935

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

517 517 920 5960 0 0 0 0 -1

N.S.

1 1.00 1.78 11.53 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.066 20.350 1.140 0.000 0.000 0.000 0.000 0.000

Problem 936

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

413 413 667 4339 0 0 0 0 -1

N.S.

1 1.00 1.62 10.51 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.630 20.345 0.621 0.000 0.000 0.000 0.000 0.000

Problem 937

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

324 324 579 3344 0 0 0 0 -1

N.S.

1 1.00 1.79 10.32 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.411 20.217 0.405 0.000 0.000 0.000 0.000 0.000

Problem 938

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

366 366 5287 2334 0 0 0 0 -1

N.S.

1 1.00 14.45 6.38 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.283 24.539 0.238 0.000 0.000 0.000 0.000 0.000

Problem 939

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

362 362 922 2150 0 0 0 0 -1

N.S.

1 1.00 2.55 5.94 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.285 18.203 0.243 0.000 0.000 0.000 0.000 0.000

Problem 940

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F(-1) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

435 435 1842 2623 0 0 0 0 -1

N.S.

1 1.00 4.23 6.03 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.527 20.027 0.211 0.000 0.000 0.000 0.000 0.000

Problem 941

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

538 538 542 3762 0 0 0 0 -1

N.S.

1 1.00 1.01 6.99 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.839 14.625 0.266 0.000 0.000 0.000 0.000 0.000

Problem 942

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

628 628 1087 7208 0 0 0 0 -1

N.S.

1 1.00 1.73 11.48 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.786 21.318 1.664 0.000 0.000 0.000 0.000 0.000

Problem 943

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

505 505 4186 5945 0 0 0 0 -1

N.S.

1 1.00 8.29 11.77 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.921 22.858 1.118 0.000 0.000 0.000 0.000 0.000

Problem 944

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

406 406 3724 4527 0 0 0 0 -1

N.S.

1 1.00 9.17 11.15 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.556 26.275 0.619 0.000 0.000 0.000 0.000 0.000

Problem 945

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

443 443 6946 3927 0 0 0 0 -1

N.S.

1 1.00 15.68 8.86 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.448 26.471 0.410 0.000 0.000 0.000 0.000 0.000

Problem 946

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

426 426 7670 3361 0 0 0 0 -1

N.S.

1 1.00 18.00 7.89 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.445 26.085 0.328 0.000 0.000 0.000 0.000 0.000

Problem 947

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

442 442 538 3595 0 0 0 0 -1

N.S.

1 1.00 1.22 8.13 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.534 20.246 0.342 0.000 0.000 0.000 0.000 0.000

Problem 948

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

540 540 5040 4138 0 0 0 0 -1

N.S.

1 1.00 9.33 7.66 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.881 24.399 0.279 0.000 0.000 0.000 0.000 0.000

Problem 949

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

650 650 759 5474 0 0 0 0 -1

N.S.

1 1.00 1.17 8.42 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.318 17.153 0.378 0.000 0.000 0.000 0.000 0.000

Problem 950

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) F F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

610 610 1090 7208 0 0 0 0 -1

N.S.

1 1.00 1.79 11.82 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.458 21.878 1.655 0.000 0.000 0.000 0.000 0.000

Problem 951

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

502 502 4220 6163 0 0 0 0 -1

N.S.

1 1.00 8.41 12.28 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.858 26.741 1.139 0.000 0.000 0.000 0.000 0.000

Problem 952

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

521 521 1401 5138 0 0 0 0 -1

N.S.

1 1.00 2.69 9.86 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.661 21.042 0.639 0.000 0.000 0.000 0.000 0.000

Problem 953

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

505 505 1490 4981 0 0 0 0 -1

N.S.

1 1.00 2.95 9.86 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.657 20.969 0.572 0.000 0.000 0.000 0.000 0.000

Problem 954

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

507 507 4887 4884 0 0 0 0 -1

N.S.

1 1.00 9.64 9.63 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.721 25.112 0.491 0.000 0.000 0.000 0.000 0.000

Problem 955

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

549 549 5347 5113 0 0 0 0 -1

N.S.

1 1.00 9.74 9.31 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.861 25.702 0.506 0.000 0.000 0.000 0.000 0.000

Problem 956

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

652 652 5667 5850 0 0 0 0 -1

N.S.

1 1.00 8.69 8.97 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.366 26.399 0.388 0.000 0.000 0.000 0.000 0.000

Problem 957

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

774 774 800 7029 0 0 0 0 -1

N.S.

1 1.00 1.03 9.08 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 2.188 21.247 0.583 0.000 0.000 0.000 0.000 0.000

Problem 958

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

429 429 3811 4340 0 0 0 0 -1

N.S.

1 1.00 8.88 10.12 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.722 26.610 0.637 0.000 0.000 0.000 0.000 0.000

Problem 959

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

342 342 3332 3147 0 0 0 0 -1

N.S.

1 1.00 9.74 9.20 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.458 24.799 0.412 0.000 0.000 0.000 0.000 0.000

Problem 960

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

267 267 2741 1757 0 0 0 0 -1

N.S.

1 1.00 10.27 6.58 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.252 20.348 0.244 0.000 0.000 0.000 0.000 0.000

Problem 961

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

317 317 758 1193 0 0 0 0 -1

N.S.

1 1.00 2.39 3.76 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.174 16.649 0.204 0.000 0.000 0.000 0.000 0.000

Problem 962

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

358 358 853 1207 0 0 0 0 -1

N.S.

1 1.00 2.38 3.37 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.295 16.686 0.251 0.000 0.000 0.000 0.000 0.000

Problem 963

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

439 439 1905 2260 0 0 0 0 -1

N.S.

1 1.00 4.34 5.15 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.525 15.816 0.206 0.000 0.000 0.000 0.000 0.000

Problem 964

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

510 510 874 5857 0 0 0 0 -1

N.S.

1 1.00 1.71 11.48 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.920 20.899 0.770 0.000 0.000 0.000 0.000 0.000

Problem 965

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

352 352 3856 4183 0 0 0 0 -1

N.S.

1 1.00 10.95 11.88 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.555 26.585 0.388 0.000 0.000 0.000 0.000 0.000

Problem 966

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

293 293 603 3071 0 0 0 0 -1

N.S.

1 1.00 2.06 10.48 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.323 20.172 0.253 0.000 0.000 0.000 0.000 0.000

Problem 967

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-1) F(-1) F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

395 395 7666 2845 0 0 0 0 -1

N.S.

1 1.00 19.41 7.20 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.351 25.728 0.177 0.000 0.000 0.000 0.000 0.000

Problem 968

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

451 451 1798 3673 0 0 0 0 -1

N.S.

1 1.00 3.99 8.14 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.531 20.342 0.213 0.000 0.000 0.000 0.000 0.000

Problem 969

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

552 552 3404 5176 0 0 0 0 -1

N.S.

1 1.00 6.17 9.38 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.867 25.428 0.298 0.000 0.000 0.000 0.000 0.000

Problem 970

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

549 549 989 10852 0 0 0 0 -1

N.S.

1 1.00 1.80 19.77 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.290 21.919 0.889 0.000 0.000 0.000 0.000 0.000

Problem 971

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

449 449 918 8861 0 0 0 0 -1

N.S.

1 1.00 2.04 19.73 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.714 21.117 0.433 0.000 0.000 0.000 0.000 0.000

Problem 972

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

416 416 3980 6947 0 0 0 0 -1

N.S.

1 1.00 9.57 16.70 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.548 26.582 0.245 0.000 0.000 0.000 0.000 0.000

Problem 973

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-1) F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

541 541 1907 8177 0 0 0 0 -1

N.S.

1 1.00 3.52 15.11 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.639 21.714 0.250 0.000 0.000 0.000 0.000 0.000

Problem 974

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-1) F(-1) F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

618 618 20027 10319 0 0 0 0 -1

N.S.

1 1.00 32.41 16.70 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.023 29.204 0.363 0.000 0.000 0.000 0.000 0.000

Problem 975

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

448 448 689 3700 0 0 0 0 -1

N.S.

1 1.00 1.54 8.26 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.616 20.212 0.378 0.000 0.000 0.000 0.000 0.000

Problem 976

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

382 382 1131 2761 0 0 0 0 -1

N.S.

1 1.00 2.96 7.23 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.433 18.383 0.253 0.000 0.000 0.000 0.000 0.000

Problem 977

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

316 316 1232 1588 0 0 0 0 -1

N.S.

1 1.00 3.90 5.03 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.283 18.210 0.221 0.000 0.000 0.000 0.000 0.000

Problem 978

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-1) F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

212 212 158 289 0 0 0 0 -1

N.S.

1 1.00 0.75 1.36 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.119 3.225 0.190 0.000 0.000 0.000 0.000 0.000

Problem 979

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

379 379 2090 2613 0 0 0 0 -1

N.S.

1 1.00 5.51 6.89 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.377 15.687 0.182 0.000 0.000 0.000 0.000 0.000

Problem 980

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

519 519 812 7859 0 0 0 0 -1

N.S.

1 1.00 1.56 15.14 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.696 15.928 0.257 0.000 0.000 0.000 0.000 0.000

Problem 981

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

266 266 1262 1020 0 312 0 0 -1

N.S.

1 1.00 4.74 3.83 0.00 1.17 0.00 0.00 -0.00

time (sec)

N/A 0.212 7.497 0.270 0.000 1.163 0.000 0.000 0.000

Problem 982

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

230 230 1202 824 0 288 0 0 -1

N.S.

1 1.00 5.23 3.58 0.00 1.25 0.00 0.00 -0.00

time (sec)

N/A 0.195 7.268 0.217 0.000 0.740 0.000 0.000 0.000

Problem 983

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

192 192 1140 715 0 260 0 0 -1

N.S.

1 1.00 5.94 3.72 0.00 1.35 0.00 0.00 -0.01

time (sec)

N/A 0.170 7.153 0.178 0.000 0.732 0.000 0.000 0.000

Problem 984

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

152 152 223 639 0 221 0 0 -1

N.S.

1 1.00 1.47 4.20 0.00 1.45 0.00 0.00 -0.01

time (sec)

N/A 0.166 2.725 0.141 0.000 0.842 0.000 0.000 0.000

Problem 985

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 197 388 0 184 0 0 -1

N.S.

1 1.00 1.35 2.66 0.00 1.26 0.00 0.00 -0.01

time (sec)

N/A 0.162 2.988 0.086 0.000 0.864 0.000 0.000 0.000

Problem 986

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 194 465 0 204 0 0 -1

N.S.

1 1.00 1.24 2.98 0.00 1.31 0.00 0.00 -0.01

time (sec)

N/A 0.167 2.862 0.079 0.000 0.681 0.000 0.000 0.000

Problem 987

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

194 194 219 515 0 232 0 0 -1

N.S.

1 1.00 1.13 2.65 0.00 1.20 0.00 0.00 -0.01

time (sec)

N/A 0.183 3.685 0.085 0.000 0.817 0.000 0.000 0.000

Problem 988

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

230 230 249 565 0 256 0 0 -1

N.S.

1 1.00 1.08 2.46 0.00 1.11 0.00 0.00 -0.00

time (sec)

N/A 0.199 4.988 0.088 0.000 0.711 0.000 0.000 0.000

Problem 989

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

266 266 1371 611 0 280 0 0 -1

N.S.

1 1.00 5.15 2.30 0.00 1.05 0.00 0.00 -0.00

time (sec)

N/A 0.216 7.012 0.089 0.000 0.723 0.000 0.000 0.000

Problem 990

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

343 343 507 1169 0 400 0 0 -1

N.S.

1 1.00 1.48 3.41 0.00 1.17 0.00 0.00 -0.00

time (sec)

N/A 0.402 6.844 0.342 0.000 0.949 0.000 0.000 0.000

Problem 991

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

289 289 333 920 0 357 0 0 -1

N.S.

1 1.00 1.15 3.18 0.00 1.24 0.00 0.00 -0.00

time (sec)

N/A 0.358 2.610 0.270 0.000 1.269 0.000 0.000 0.000

Problem 992

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

241 241 271 973 0 319 0 0 -1

N.S.

1 1.00 1.12 4.04 0.00 1.32 0.00 0.00 -0.00

time (sec)

N/A 0.347 2.245 0.220 0.000 1.010 0.000 0.000 0.000

Problem 993

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

224 224 227 1303 0 284 0 0 -1

N.S.

1 1.00 1.01 5.82 0.00 1.27 0.00 0.00 -0.00

time (sec)

N/A 0.347 2.901 0.184 0.000 1.289 0.000 0.000 0.000

Problem 994

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

225 225 234 679 0 260 0 0 -1

N.S.

1 1.00 1.04 3.02 0.00 1.16 0.00 0.00 -0.00

time (sec)

N/A 0.358 4.604 0.114 0.000 1.083 0.000 0.000 0.000

Problem 995

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

242 242 251 706 0 291 0 0 -1

N.S.

1 1.00 1.04 2.92 0.00 1.20 0.00 0.00 -0.00

time (sec)

N/A 0.360 6.422 0.105 0.000 0.916 0.000 0.000 0.000

Problem 996

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

290 290 286 784 0 329 0 0 -1

N.S.

1 1.00 0.99 2.70 0.00 1.13 0.00 0.00 -0.00

time (sec)

N/A 0.379 3.793 0.101 0.000 1.474 0.000 0.000 0.000

Problem 997

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

397 397 566 1265 0 467 0 0 -1

N.S.

1 1.00 1.43 3.19 0.00 1.18 0.00 0.00 -0.00

time (sec)

N/A 0.579 7.155 0.391 0.000 1.356 0.000 0.000 0.000

Problem 998

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

334 334 377 1178 0 415 0 0 -1

N.S.

1 1.00 1.13 3.53 0.00 1.24 0.00 0.00 -0.00

time (sec)

N/A 0.528 4.091 0.306 0.000 1.109 0.000 0.000 0.000

Problem 999

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) C F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

319 319 311 1392 0 382 0 0 -1

N.S.

1 1.00 0.97 4.36 0.00 1.20 0.00 0.00 -0.00

time (sec)

N/A 0.560 3.682 0.255 0.000 0.746 0.000 0.000 0.000

Problem 1000

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

313 313 295 1837 0 361 0 0 -1

N.S.

1 1.00 0.94 5.87 0.00 1.15 0.00 0.00 -0.00

time (sec)

N/A 0.571 2.923 0.204 0.000 0.797 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]